Reflections on Concrete Incompleteness
نویسنده
چکیده
How do we prove true, but unprovable propositions? Gödel produced a statement whose undecidability derives from its “ad hoc” construction. Concrete or mathematical incompleteness results, instead, are interesting unprovable statements of Formal Arithmetic. We point out where exactly lays the unprovability along the ordinary mathematical proofs of two (very) interesting formally unprovable propositions, Kruskal-Friedman theorem on trees and Girard’s Normalization Theorem in Type Theory. Their validity is based on robust cognitive performances, which ground mathematics on our relation to space and time, such as symmetries and order, or on the generality of Herbrands notion
منابع مشابه
The Halting Probability Omega: Irreducible Complexity in Pure Mathematics∗
Some Gödel centenary reflections on whether incompleteness is really serious, and whether mathematics should be done somewhat differently, based on using algorithmic complexity measured in bits of information. Introduction: What is mathematics? It is a pleasure for me to be here today giving this talk in a lecture series in honor of Frederigo Enriques. Enriques was a great believer in mathemati...
متن کاملPhenomenology of Incompleteness: from Formal Deductions to Mathematics and Physics
This paper is divided into two parts. The first proposes a philosophical frame and it “uses” for this a recent book on a phenomenological approach to the foundations of mathematics. Gödel’s 1931 theorem and his subsequent philosophical reflections have a major role in discussing this perspective and we will develop our views along the lines of the book (and further on). The first part will also...
متن کاملModel theoretic proofs of the incompleteness theorems
Godel's proofs of the incompleteness theorems are frequently discussed in the context of constructive or nitary viewpoint. Godel showed a concrete independent statement of arithmetic and the proof does not contain any transcendental argument. On the other hand, the completeness theorem asserts that a sentence is not derivable from a theory if and only if there exists a model of the theory whi...
متن کاملPropagation measurements and modeling for future indoor communication systems at THz frequencies
This paper provides an overview of propagation studies beyond 100 GHz in the Terahertz Communications Lab in Braunschweig and the results achieved so far. In particular, rough surface reflections are investigated. The example is concrete plaster. Also the effect of multiple reflections in layered media is studied. The investigated material is wall paint on plaster. Index Terms — THz communicati...
متن کامل